Nuprl Definition : ma-single-pre 0,22
(with ds: ds
(action a:T
(precondition a(v) is
(P s v)
== mk-ma(ds;
== locl(a) : T;
== ;
== a : P;
== ;
== ;
== ;
== ;
== ;
== ;
== ) 
latex

Definitionsmk-ma, locl(a), x : v,
FDL editor aliasesma-single-pre

origin